再帰中に高階関数が交じると混乱する -> 難しく考え過ぎ脳を分解するだけ¶

例¶

subs [] = [[]]
subs (x:xs) = yss ++ map (x:) yss
 where
 yss = subs xs

-- subs [1,2]
[[]] ++ map (2:) [[]]

これはすぐわかる [[2]]

map部分がわかったので、これもすぐわかる

[[]] ++ [[2]] -> [[], [2]]